In-system programming

Results: 1455



#Item
161Numerical linear algebra / Parallel computing / Application programming interfaces / OpenMP / Thread / Matrix multiplication / Lis / Software / Computing / Algebra

DM818 - Parallel Computing, Weekly Notes, Week 38  Chapter 1 of \Parallel Computer Architecture: A Hardware/Software Approach" by Culler et al. can be found in the Blackboard system for additional reading on \Programmin

Add to Reading List

Source URL: www.imada.sdu.dk

Language: English - Date: 2009-09-07 08:07:41
162Graphical user interfaces / Application programming interfaces / Query languages / Time / Timestamp / Window function / Transmission Control Protocol / X Window System / NeWS / Software / System software / Computing

The Extensibility Framework in Microsoft StreamInsight Mohamed Ali1, Badrish Chandramouli2, Jonathan Goldstein1, Roman Schindlauer1 1 Microsoft Corporation

Add to Reading List

Source URL: research.microsoft.com

Language: English - Date: 2011-01-28 12:27:48
163Compiler construction / SPIN model checker / Software bug / Gerard J. Holzmann / Holzmann / Programming tool / Embedded system / Compiler / Software / Formal methods / Computing

Spinning Into Control Bell Labs’ verification tool: coming to a compiler near you? errors. In one case, the programmers said, “We’ll fix it, but it’s so unlikely to happen that we’re really wasting our time.”

Add to Reading List

Source URL: spinroot.com

Language: English - Date: 2008-06-30 15:34:26
164Compiler construction / Programming language implementation / Archive formats / C programming language / Library / COFF / C++ / Object file / Linker / Computing / Software / System software

Libraries < PAGE >1Chapter XX: Libraries Every modern linker handles libraries, collections of object files that are included as needed in a linked program. In this chapter we cover traditional statically linked librari

Add to Reading List

Source URL: www.iecc.com

Language: English - Date: 1999-06-14 23:31:35
165Cross-platform software / Virtual machines / Programming language implementation / Scripting languages / Java virtual machine / PyPy / Interpreter / Just-in-time compilation / Bytecode / Software / Computing / System software

The Impact of Meta-Tracing on VM Design and Implementation Carl Friedrich Bolza , Laurence Trattb a b

Add to Reading List

Source URL: tratt.net

Language: English - Date: 2013-01-14 15:53:31
166Project management / In dulci jubilo / Ada / United States Postal Service / Type system / Computing / Software engineering / Programming language theory

IN DULCI JUBILO, INC. Latin: “In Sweet Joy” P.O. BoxBerkeley, CaliforniaPhone:

Add to Reading List

Source URL: www.indulcijubilo.org

Language: English
167Object-oriented programming / Method / Multiple dispatch / Polymorphism / Java programming language / Dynamic dispatch / Interface / Common Lisp Object System / Java / Software engineering / Computing / Computer programming

Modularly Typesafe Interface Dispatch in JPred

Add to Reading List

Source URL: www.frostnet.net

Language: English - Date: 2008-01-24 15:54:27
168Control flow / Constraint programming / Electronic design automation / Logic in computer science / Satisfiability Modulo Theories / LLVM / For loop / C / Static single assignment form / Computing / Software engineering / Computer programming

Development and Evaluation of LAV: an SMT-Based Error Finding Platform? System Description Milena Vujoˇsevi´c-Janiˇci´c1 and Viktor Kuncak2 1

Add to Reading List

Source URL: lara.epfl.ch

Language: English - Date: 2011-11-18 09:02:21
169Fold / Software engineering / Computing / Computer programming / Paper folding / Origami / Structural geology / Yoshizawa-Randlett system

A circled number step number on the diagrams means there are written instructions for that step. Please read them before folding. The folding sequence seems very mathematical. In reality most location points are not t

Add to Reading List

Source URL: www.papierfalten.de

Language: English - Date: 2006-02-02 07:15:23
170Portable software / Cloud clients / NPAPI / Plug-in / Software / Application programming interfaces / Google Chrome

There is a known issue when initially opening the UWStudent Remote Lab System using Chrome (v42): http://microlab.uwyo.edu/uwsremote/ Chrome does not support the Java plug-in for the Remote Lab connection by default. NPA

Add to Reading List

Source URL: microlab.uwyo.edu

Language: English - Date: 2015-04-30 13:02:20
UPDATE